* doc/misc/Makefile.in (mostlyclean): Delete *.toc.
authorGlenn Morris <rgm@gnu.org>
Sat, 9 Oct 2010 20:14:43 +0000 (13:14 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 9 Oct 2010 20:14:43 +0000 (13:14 -0700)
commit79045dad28b2cda6b13362110095928ea6e35be7
treeb3e79326e0a4e0e09d0640926aaefbd1da4eb3c6
parent6ec0e33ef849d3140e6ca2adeef4cf22d498ebcd
* doc/misc/Makefile.in (mostlyclean): Delete *.toc.
doc/misc/ChangeLog
doc/misc/Makefile.in